Видео ютуба по тегу Joachim Breitner

Joachim Breitner - Winter is Coming – Even Faster (HaskellX 2020)
Joachim Breitner - Winter is Coming – Even Faster (HaskellX 2020)
Joachim Breitner: Der Tiptoi-Stift
Joachim Breitner: Der Tiptoi-Stift
BOB 2025 Joachim Breitner - Recursive Definitions in Lean
BOB 2025 Joachim Breitner - Recursive Definitions in Lean
Joachim Breitner: Lattice Attacks on Ethereum, Bitcoin, and HTTPS
Joachim Breitner: Lattice Attacks on Ethereum, Bitcoin, and HTTPS
Joachim Breitner: Kaleidogen
Joachim Breitner: Kaleidogen
Joachim Breitner – The many faces of isOrderedTree
Joachim Breitner – The many faces of isOrderedTree
Joachim Breitner - A Promise Checked Is a Promise Kept (HaskellX 2018)
Joachim Breitner - A Promise Checked Is a Promise Kept (HaskellX 2018)
BOB 2022 Joachim Breitner - Specification-driven design
BOB 2022 Joachim Breitner - Specification-driven design
Report from the FRO (invited talk) | Joachim Breitner
Report from the FRO (invited talk) | Joachim Breitner
MuniHac 2022 - Friday, October 7 - Joachim Breitner: Getting recursive definitions off their bottoms
MuniHac 2022 - Friday, October 7 - Joachim Breitner: Getting recursive definitions off their bottoms
BOB 2019 - Joachim Breitner, Inspection Testing
BOB 2019 - Joachim Breitner, Inspection Testing
Sebastian Ullrich and Joachim Breitner, “The Lean Programming Language and Theorem Prover”, (VSS25)
Sebastian Ullrich and Joachim Breitner, “The Lean Programming Language and Theorem Prover”, (VSS25)
HIW 2012 Lightning. Joachim Breitner: Dup - explicit unsharing.
HIW 2012 Lightning. Joachim Breitner: Dup - explicit unsharing.
BOB 2023 Joachim Breitner - Getting recursive definitions off their bottoms
BOB 2023 Joachim Breitner - Getting recursive definitions off their bottoms
Joachim Breitner, Sebastian Graf: Commits statt Zeit
Joachim Breitner, Sebastian Graf: Commits statt Zeit
Recursive definitions — Joachim Breitner
Recursive definitions — Joachim Breitner
BOB 2016 - Joachim Breitner - Mit Monaden die Zukunft im Blick
BOB 2016 - Joachim Breitner - Mit Monaden die Zukunft im Blick
Lock-Step Simulation Is Child's Play (Experience Report)
Lock-Step Simulation Is Child's Play (Experience Report)